Theorem

An inhomogenous system of linear equations with more equations than variables has no solution for some choice of constant terms.

Proof

We use the same notation as defineed in 1756254061 - Axler 3.26 A homogenous system of linear equations.|3.26.

Define \({latex.inline[T: F^{n} \rightarrow F^{m}](T: F^{n} \rightarrow F^{m})}. The equation \){latex.inlineT(x{1}, ..., x{n}) = (c{1}, ..., c{m})} is the same as a system of equations that is non homogenous(with the c’s representing the values on the right side of the equations).

We can rephrase the question as a question of “what condition ensures that T is not surjective”, in other words not onto(one of the c vectors has no mapping).

Well, if we set n smaller than m, we get that T is not surjective per 1756254034 - Axler 3.24 A linear map to a higher dimensional space is not surjective.|3.24.